English theorem proving program: переклад на інші мови